101. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
102. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
103. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
104. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
105. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
106. Frontiers of combining systems :
Author: Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2011
107. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011
108. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
109. Fuzzy logic for embedded systems applications /
Author: by Ahmad M. Ibrahim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems-- Design and construction.,Fuzzy logic.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems-- Design and construction.,Fuzzy logic.
Classification :
TK7895
.
E42
I32
2004eb
110. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
111. ICT in Education, Research, and Industrial Applications :
Author: edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
T58
.
5
E358
2013
112. Implementation and Application of Automata :
Author: edited by Michal Hospodâar, Galina Jirâaskovâa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Logic design.,Software engineering.,Logic design.,Machine theory.,Robotics.,Software engineering.
Classification :
QA76
.
9
.
L63
113. Implementation and Application of Functional Languages
Author: edited by Sven-Bodo Scholz, Olaf Chitil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
114. Implementation and Application of Functional Languages
Author: edited by Marco T. Morazán, Sven-Bodo Scholz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
115. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010
116. Implementation and application of functional languages :
Author: Jurriaan Hage, Marco T. Morazán (eds)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages, Congresses,Functional programming languages-- Congresses
Classification :
QA76
.
62
.
I58
2010
117. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
Author: edited by Fevzi Belli, Franz Josef Radermacher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business.,Computer science.,Management science.
Classification :
Q334
.
E358
1992
118. Information Systems Engineering :
Author: by Arne Sølvberg, David Chenho Kung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Software engineering.
Classification :
T58
.
5
B937
1993
119. Innovative techniques in instruction technology, e-learning, e-assessment, and education /
Author: edited by Magued Iskander.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction.,Computer-assisted instruction.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Informatique.
Classification :
LB1028
.
5
.
I52
2008eb
120. Integrated circuit and system design :
Author: José L. Ayala [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Design and construction, Congresses
Classification :
TK7874
.
P38
2011eb
